problem on solvable for X